LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners

نویسندگان

  • Max Wisniewski
  • Alexander Steen
  • Christoph Benzmüller
چکیده

LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typed λ-calculus with nameless spine notation, explicit substitutions, and perfect term sharing) with an ambitious multi-agent blackboard architecture (supporting prover parallelism at the term, clause, and search level). Further features of LeoPARD include a parser for all TPTP dialects, a command line interpreter, and generic means for the integration of external reasoners.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Parallel Implementation of Particle Swarm Optimization Variants Using Graphics Processing Unit Platform

There are different variants of Particle Swarm Optimization (PSO) algorithm such as Adaptive Particle Swarm Optimization (APSO) and Particle Swarm Optimization with an Aging Leader and Challengers (ALC-PSO). These algorithms improve the performance of PSO in terms of finding the best solution and accelerating the convergence speed. However, these algorithms are computationally intensive. The go...

متن کامل

An examination of the Generic Exploit Prevention Mechanisms on Apple's Leopard Operating System

The Win32 platform has long been the whipping boy of memory corruption attacks and malware, which has forced Microsoft into implementing aggressive anti-exploitation mechanisms into their newer Operating Systems. Apple's Mac OS X (Leopard) has had a much smoother run, both in the media, and in terms of high profile attacks and the reason for this is less clear. In light of Apple's increased mar...

متن کامل

Exact Implementation of Multiple Initial Conditions in the DQ Solution of Higher-Order ODEs

The differential quadrature method (DQM) is one of the most elegant and useful approximate methods for solving initial and/or boundary value problems. It is easy to use and also straightforward to implement. However, the conventional DQM is well-known to have some difficulty in implementing multiple initial and/or boundary conditions at a given discrete point. To overcome this difficulty, this ...

متن کامل

Implementation of a Health Policy Advisory Committee as a Knowledge Translation Platform: The Nigeria Experience

Background In recent times, there has been a growing demand internationally for health policies to be based on reliable research evidence. Consequently, there is a need to strengthen institutions and mechanisms that can promote interactions among researchers, policy-makers and other stakeholders who can influence the uptake of research findings. The Health Policy Advisory Committee (HPAC) is on...

متن کامل

Detecting Domestic Dog in Diet of Leopard Using DNA Tools

The leopard (Panthera pardus) as an adaptable felid widely distributed in varied ecosystems of Iran. The Golestan Natural Park is one of the main habitats of leopard in the country. It has divers diet and preying various types of preys such as wild ungulate and livestock. The prey remains’ samples of leopard were collected and preserved using ethanol 96% and whole genomic DNA was extracted. The...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015